Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
by Chao Wang,Gary D. Hachtel,Fabio Somenzi
ISBN 13: 9780387341552
Format: Hardcover (186 pages) Publisher: Springer Published: 21 Aug 2006
Save for later